92. Computer-aided reasoning: an approach

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Formal methods )Computer science(,، Sotware engineering,، Expert systems )Computer science(

رده :
QA
76
.
9
.
F67
.
K38
2000